Module("check",[Imports([(),(),(),(),(),(),()]),Rules([SDefT("constraint-error",[],[],[]),SDefT("constraint-warning",[],[],[]),SDefT("constraint-note",[],[],[])])])